基于机会约束的手术计划随机模型与算法

本文研究多服务台手术计划调度问题,考虑手术时间的不确定性,提出手术室加班时间的机会约束,以一定的概率保证病人的手术时间不超过手术室的开放时间,建立随机优化机会约束手术计划调度模型,确定手术室的开放和分配决策.基于手术时间离散的概率情景,引入0-1变量转化机会约束,得到了0-1整数线性规划的等价模型.为了提高模型的求解效率,提出两类有效不等式,并设计最长路径算法分离第二类有效不等式,利用分支切割方法进行模型求解.算例分析,基于北京某医院的实际数据,验证算法的有效性,确定最优的手术计划调度方案,有效地优化配置手术室资源.     

弱相互作用下原子的玻色-爱因斯坦凝聚

从理论上分析提出了弱相互作用下Bose体系的BEC理论，并由此来解释液^4He的超流性。通过深入对比理想Bose气体和弱相互作用下Bose体系发生BEC性质的不同，分析得出了凝聚体系粒子间相互作用的有无是导致二者性质不同的主要原因。     

关于Farkas引理证明的一点注记

许多关于非线性规划的专著,如[1]、[2]、[3]等,在证明Farkas引理时都蕴含地用到:“有限生成的凸锥(finitely generated convex cone)为闭集”这样一个事实,但都忽略了对此作出证明。本文旨在于非线性规划的内容范围内证明这一重要事实,从而对上述专著中Farkas引理的证明作出补充。     

基于协方差矩阵的自适应盲分离算法

提出了一种新的线性混叠信号的盲分离算法,该算法利用信号相互独立时其协方差矩阵的对角化特征作为分离准则,采用最速下降法进行分离.该算法对源信号和混叠矩阵没有过多要求且计算量不大,理论分析与仿真结果表明:该算法具有很好的分离效果.     

基于k-分辨-FB级数展开的多分量LFM信号分离

针对傅里叶-贝塞尔变换(FBT)难以估计和有效分离多分量LFM信号的问题,提出了一种k分辨-FB(k-FB)级数展开结合dechirp的信号分离与估计算法。在FB级数的基础上引入k分辨参数,通过理论推导,得出了信号频率与级数的关系,证明了参数估计精度与k取值正相关。通过解线频调和k-FB级数计算,实现了信号分离重构和参数估计。在不同信噪比、信号功率比和k分辨条件下对信号的分离精度进行了仿真研究,并与基于分数阶傅里叶变换(FrFT)的方法进行了对比。仿真结果验证了算法的有效性。     

大直径长钻孔桩孔底压浆技术的探讨

分析了某工程桩底缺陷形成的原因,介绍了桩底补强过程中的造孔、清淤、压浆及验证的具体做法。     

C(R)中非线性最佳逼近的特征

对 C(R)中一类非凸子集,在一特定的距离下,给出了最佳逼近的特征,其中包括 Kolmogorov 型与 Chebyshev 交错型特征定理。作为推论,我们得到了在这距离下有理最佳逼近的特征.     

矩阵的弱相似性及其应用

推广了矩阵环Mn(F)中相似性概念，提出了矩阵的弱相似概念，研究了它的基本性质，获得一些有趣结果，此外，指出了文[3]的一个错误，给出了Laffey-Choi一个关键引理的矩阵式的证明。     

LF拓扑空间中T21/2分离公理的几个性质

给出LF拓扑空间中T212分离公理的三条重要性质,即弱同胚不变性、相对可积性和可和性.     

短正合列的弱可裂

把短正合列的可裂推广到短正合列的弱可裂，并对弱可裂进行了等价刻画，最后还运用左弱可列证明了平坦模的一个充要条件。